DEF = verification
MODULE := VERIFICATION
include $(CURDIR)/../include.mk
KORE_EXEC_OPTS += --smt none